Skip to content

ci.yml: fix push branch filter pattern (backport #502)#503

Merged
scpeters merged 1 commit intogz-fuel-tools11from
mergify/bp/gz-fuel-tools11/pr-502
Apr 23, 2026
Merged

ci.yml: fix push branch filter pattern (backport #502)#503
scpeters merged 1 commit intogz-fuel-tools11from
mergify/bp/gz-fuel-tools11/pr-502

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Apr 23, 2026

🦟 Bug fix

Fixes triggering of GitHub workflows on branches with double-digit major version.

Summary

This fixes the branch regex to run Ubuntu workflows on push to branches with a double digit major version number. Similar to gazebosim/sdformat#1445.

Checklist

  • Signed all commits for DCO
  • Added a screen capture or video to the PR description that demonstrates the fix (as needed)
  • Added tests
  • Updated documentation (as needed)
  • Updated migration guide (as needed)
  • Consider updating Python bindings (if the library has them)
  • codecheck passed (See contributing)
  • All tests passed (See test coverage)
  • Updated Bazel files (if adding new files). Created an issue otherwise.
  • While waiting for a review on your PR, please help review another open pull request to support the maintainers
  • Was GenAI used to generate this PR? If so, make sure to add "Generated-by" to your commits. (See this policy for more info.)

Note to maintainers: Remember to use Squash-Merge and edit the commit message to match the pull request summary while retaining Signed-off-by and Generated-by messages.

Backports: If this is a backport, please use Rebase and Merge instead.


This is an automatic backport of pull request #502 done by [Mergify](https://mergify.com).

This fixes the branch regex to run Ubuntu workflows
on push to branches with a double digit major version
number.

Signed-off-by: Steve Peters <[email protected]>
(cherry picked from commit 78eb83f)
@mergify mergify Bot requested a review from nkoenig as a code owner April 23, 2026 05:30
@mergify mergify Bot mentioned this pull request Apr 23, 2026
11 tasks
@github-actions github-actions Bot added the 🪵 jetty Gazebo Jetty label Apr 23, 2026
@github-project-automation github-project-automation Bot moved this from Inbox to In review in Core development Apr 23, 2026
@scpeters scpeters merged commit 9fa395e into gz-fuel-tools11 Apr 23, 2026
14 checks passed
@scpeters scpeters deleted the mergify/bp/gz-fuel-tools11/pr-502 branch April 23, 2026 07:46
@github-project-automation github-project-automation Bot moved this from In review to Done in Core development Apr 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🪵 jetty Gazebo Jetty

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants